logiki ogólnej
Encyklopedia PWN
matematyk niemiecki.
Ibn Ruszd, Abū al-Walīd Muḥammad Ibn Aḥmad Ibn Rušd, w Europie zw. Awerroesem, ur. 1126, Kordoba, zm. 10 XII 1198, Marrakesz,
arabski prawnik, lekarz, filozof, główny przedstawiciel filozofii arabskiego Zachodu.
mat. dział matematyki poświęcony badaniu krat i ich zastosowań, przede wszystkim w logice i algebrze;
kwantyfikator
log. zwroty: „dla każdego x” oraz „dla pewnego x” używane w logice jako synonimy potocznych wyrażeń „każdy” i „pewien”;
[ang. quantifier ‘oznacznik ilości’ < łac. qantum ‘ile’, facere ‘czynić’],